1. Combinatorics, complexity, and logic: proceedings of DMTCS'96
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
2. Combinatorics, complexity, & logic : proceedings of DMTCS'96
المؤلف: D.S. Bridges...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
3. Combinatorics, computability and logic :
المؤلف: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
4. Combinatorics, computability and logic :
المؤلف: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
5. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
المؤلف: C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
6. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
المؤلف: Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
7. Finite and infinite combinatorics in sets and logic
المؤلف: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
المکتبة: (طهران)
موضوع: Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
8. Finite and infinite combinatorics in sets and logic
المؤلف: / edited by N. W. sauer, R. E. Woodrow, and B. Sands
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Combinatorial analysis -- Congresses,Settheory -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
164
.
N38
1991
9. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
المؤلف: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
10. Logic and combinatorics
المؤلف: [Edited by]& Stephen G. Simpson
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
11. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
المؤلف: Stephen G. Simpson, editor
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985
